COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	cooper[e84,jmc]		Abstract for talk at workshop on co-operative agents
C00004 ENDMK
C⊗;
cooper[e84,jmc]		Abstract for talk at workshop on co-operative agents

August 22-24

georgeff%sri-ai,pereira%sri-ai
co-operation workshop
title: Axioms for co-operation and for concurrent action

Abstract: The object is to give axioms suitable for inclusion
in a common sense database about co-operation and concurrent
action.  The axiom systems will be for systems that use circumscription, i.e.
they are open-ended in that many new phenomena can be handled by adding
axioms rather than changing existing ones.  However, to draw strong
conclusions, circumscriptions that assume a "standard" model of the
axioms is required.  At the time of writing this abstract the material
on co-operation is closer to definite shape than that concerning
concurrent action.

An overhead projector will be wanted.  Possibly a 35mm will be wanted
to if I use some of the slides for my AAAI lecture.